A. Church; "Introduction to Mathematical Logic"